منابع مشابه
Reasonably Programmable Syntax
Programming languages commonly provide “syntactic sugar” that decreases the syntactic cost of working with certain standard library constructs. For example, Standard ML builds in syntactic sugar for constructing and pattern matching on lists. Third-party library providers are, justifiably, envious of this special arrangement. After all, it is not difficult to find other situations where library...
متن کاملMultiple-Valued Mask-Programmable Logic Array Using One-Transistor Universal-Literal Circuits
This paper presents a compact multiple-valued maskprogrammable logic array (MPLA) based on a MINITSUM (MINimunl/Truncated-SU~~ two-level synthesis, A universal literal in the MIN plane is decomposed into a threshold literal and a logic-value conversion (LVC) that is shared in the same column of the MINplane. Since a threshold literal can be designed by using a singlejoating-gate MOS transistor,...
متن کاملLiteral-paraconsistent and literal-paracomplete matrices
We introduce a family of matrices that define logics in which paraconsistency and/or paracompleteness occurs only at the level of literals, that is, formulas that are propositional letters or their iterated negations. We give a sound and complete axiomatization for the logic defined by the class of all these matrices, we give conditions for the maximality of these logics and we study in detail ...
متن کاملLiteral Reification
In this paper we introduce the pattern literal reification, a modelling technique to address scenarios, in which we need to bless particular literals, usually when applying data properties, in order to use them as subjects and/or full-fledged objects of semantic assertions.
متن کاملReasonably safe? Breast implants and informed consent.
ORE than 300,000 women in the United States and many more around the world undergo surgery with breast implants every year, either to replace breasts lost to cancer or to increase the size of healthy breasts. When a woman decides whether to get breast implants, she must consider how that decision will affect her health and her life. Despite dozens of studies published in peer-reviewed journals ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the ACM on Programming Languages
سال: 2018
ISSN: 2475-1421
DOI: 10.1145/3236801